cd ssolver
sh comp.sh
cd ..
ocamlyacc -v spiparser.mly
ocamllex spilexer.mll
ocamlc -I ssolver/ -c spitree.ml spiparser.mli spiparser.ml spilexer.ml aconv.ml axioms.ml constraints.ml constraintgen.ml alfpgen.ml
